Trustworthy Real-Time Systems
نویسندگان
چکیده
Embedded systems have experienced a dramatic increase in ubiquity and functionality. They have penetrated our life to a degree where we rely heavily on them and at the same time entrust them with vast amounts of personal information. The trust placed in them does not necessarily mean they are trustworthy. Within this chapter we summarise past research of the ERTOS group at NICTA in the area and provide the initial reasoning which motivated that research. Topics covered are a secure kernel design and the design and verification of this kernel design, as well as work on scheduling and WCET analysis.
منابع مشابه
A Formal Approach For The Development of Trustworthy Component-Based RTRS - Steam Boiler Controller Case Study∗
This paper presents a formal approach for the development of trustworthy real-time reactive systems (RTRS). Safety and security are considered as the two significant properties for trustworthy RTRS. A component-based modeling, formal descriptions for components, and a modelchecking method to formally verify security and safety properties in the component model are presented. The methods are ill...
متن کاملA Component Model for Trustworthy Real-Time Reactive Systems Development
In this paper a formal description of trustworthy real-time reactive components is given. Component templates are defined and components are defined as instances of a template. A template consists of a structure part and a contract part. All components of a template share the structural and contractual properties while differing in their architectural descriptions and implementations. The behav...
متن کاملHandling Overload Conditions In High Performance Trustworthy Information Retrieval Systems
Web search engines retrieve a vast amount of information for a given search query. But the user needs only trustworthy and high-quality information from this vast retrieved data. The response time of the search engine must be a minimum value in order to satisfy the user. An optimum level of response time should be maintained even when the system is overloaded. This paper proposes an optimal Loa...
متن کاملOpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven trustworthy component with a clean and high performance architecture useable on a wide range of networked embedded systems. The result is a scalable communication system with real-time capabilities. Besides a rigorous formal v...
متن کاملOpenComRTOS – Distributed RTOS development using formal modeling methods
OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) developed using formal modeling techniques. The goal of this project was to obtain a proven trustworthy component with a clean and high performance architecture useable on a wide range of embedded systems. These goals were achieved. The result is a scalable communication system with real-time capabilities. Besides a rigorous forma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012